Labeled homology of higher-dimensional automata
نویسنده
چکیده
We define labeling homomorphisms on the cubical homology of higher-dimensional automata and show that they are natural with respect to cubical dimaps and compatible with tensor products. We also indicate two possible applications of labeled homology in concurrency theory.
منابع مشابه
Homology of Higher Dimensional Automata
Higher dimensional automata can model concurrent computations. The topological structure of the higher dimensional automata determines certain properties of the concurrent computation. We introduce bi-complexes as an algebraic tool for describing these automata and develop a simple homology theory for higher dimensional automata. We then show how the homology of automata has applications in the...
متن کاملAbout the globular homology of higher dimensional automata
We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of [Gau99] disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.
متن کاملThe homology graph of a higher dimensional automaton
Higher dimensional automata, i.e. labelled precubical sets, model concurrent systems. We introduce the homology graph of an HDA, which is a directed graph whose nodes are the homology classes of the HDA. We show that the homology graph is invariant under homeomorphic abstraction, i.e. under weak morphisms that are homeomorphisms.
متن کاملCombinatorics of branchings in higher dimensional automata
We explore the combinatorial properties of the branching areas of paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner homology of a globular ω-category and the combinatorics of a new homology theory called the reduced negative corner homology. This latter is the homology of the quotient of the corner complex by the sub-co...
متن کاملTopological abstraction of higher-dimensional automata
Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss " topological abstraction " of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from both a computer scientific and a topo-logical point of view. By definition, topological abstraction preserves the ho-motopy type, the trace...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1703.07826 شماره
صفحات -
تاریخ انتشار 2017